A strategy for array management in local memory

One major point in loop restructuring for data locality optimization is the choice and the evaluation of data locality criteria. In this paper we show how to compute approximations of window sets deened by Gannon, Jalby, and Gallivan. The window associated with an iteration i describes the \active" portion of an array: elements that have already been referenced before iteration i and that will be referenced after iteration i. Such a notion is extremely useful for data localization because it identiies the portions of arrays that are worth keeping in local memory because they are going to be referenced later. The computation of these window approximations can be performed symbolically at compile time and generates a simple geometrical shape that simpliies the management of the data transfers. This strategy allows derivation of a global strategy of data management for local memories which may be combined eeciently with various parallelization and/or vectorization optimizations. Indeed, the eeects of loop transformations t naturally into the geometrical framework we use for the calculations. The determination of window approximations is studied both from a theoretical and a computational point of view, and examples of applications are given.